Тезис Тьюринга - принимаемое без доказательства фундаментальное положение теории алгоритмов, согласно которому всякий алгоритм представим в форме машины Тьюринга.
Тезис Тьюринга (Turing thesis) — принцип, согласно которому класс вычислимых функций совпадает с классом функций, реализуемых на машине Тьюринга.[Слова... смотреть